James Ireland Craig 1869–1952

The Play of Musement in James Joyce's "ulysses" (ireland)

summary) The eighteen episodes of Ulysses, each written in a different style, constitute a radical, new approach to matters pertaining to fiction, language, and understanding, as Hugh Kenner has suggested in Joyce's Voices. Previous studies of the styles of Ulysses have been hampered by some of the very presuppositions which are overturned by the novel itself. These presuppositions concern conc...

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Craig Interpolation via Hypersequents

In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.

Craig Alan Feinstein

The question of whether the class of decision problems that can be solved by deterministic polynomial-time algorithms (P ) is equal to the class of decision problems that can be solved by nondeterministic polynomial-time algorithms (NP) has been open since it was first formulated by Cook, Karp, and Levin in 1971. In this paper, we prove that they are not equal by showing that any algorithm that...